
#include <iostream>

#include "file1.h"
#include "file2.h"

result_type file4_launch_kernel(int x);
result_type file5_launch_kernel(int x);

int main(int argc, char **argv)
{
  file4_launch_kernel(42);
  file5_launch_kernel(42);
  std::cout << "this executable calls a method that launches a cuda kernel" << std::endl;
  std::cout << "this is meant to test that we have basic separable compilation support working" << std::endl;
  return 0;
}